#include <stdio.h>
#include "link32fa016bx.h"

volatile int i;
int main(void)
{
	TimerTick_Reload(1000);
	__enable_irq();
	__IBEX_EnableIRQ(0x7);

	while(i < 100);
	printf("Test End\n");
	__IBEX_DisableIRQ(0x7);
	return 0;
}

__INTERRUPT void TrapEntry_mtip(void)
{
	printf("%d: Test Timer\n", i);
	TimerTick_Reload(1000);
	i++;
}
